Chandra slips, space shuttle runs a risk

Space Shuttle Technical Conference

Modeling the Space Shuttle

We summarize our methodology for modeling space shuttle processing using discrete event simulation. Why the project was initiated, what the overall goals were, how it was funded, and who were the members of the project team are identified. We describe the flow of the space shuttle flight hardware through the supporting infrastructure and how the model was created to accurately portray the space...

Quantum shuttle in phase space.

We present a quantum theory of the shuttle instability in electronic transport through a nanostructure with a mechanical degree of freedom. A phase space formulation in terms of the Wigner function allows us to identify a crossover from the tunneling to the shuttling regime, thus extending the previously found classical results to the quantum domain. Further, a new dynamical regime is discovere...

Space Shuttle Rtos Bayesian Network

With shrinking budgets and the requirements to increase reliability and operational life of the existing orbiter fleet, NASA has proposed various upgrades for the Space Shuttle that are consistent with national space policy. The cockpit avionics upgrade (CAU), a high priority item, has been selected as the next major upgrade. The primary functions of cockpit avionics include flight control, gui...

Formalizing Space Shuttle Software Requirements

This paper describes two case studies in which requirements for new ight-software subsystems on NASA's Space Shuttle were analyzed, one using standard formal speci cation techniques, the other using state exploration. These applications serve to illustrate three main theses: (1) formal methods can complement conventional requirements analysis processes e ectively, (2) formal methods confer bene...